% 
% @(#)RISC.m	1.1  3/16/88
%
export _RISCObject to "Builtins"
const _RISCObject == immutable object _RISCObject
  export getSignature
  const _RISCType == type _RISCType
    function lowerbound -> [Integer]
    function upperbound -> [Integer]
    function getElement [Integer] -> [Character]
  end _RISCType
  function getSignature -> [r : Signature]
    r <- _RISCType
  end getSignature
end _RISCObject
